Amber

نویسنده

  • Luca Cardelli
چکیده

Introduction The Amber language embeds many recent ideas in programming language design, and tries to introduce all the features in their minimal, essential, form. One of its main goals is to safely blend static typing with the dynamic requirements of a system programming language. For this purpose, multiple inheritance and persistent objects are integrated in a strongly typed language. Other features include graphics, higher-order functions, modules and concurrency. Amber is a spin-off of the ML programming language [Milner 84]. The ML language is now being standardized, and as such is not very suitable for experimentation. Amber is intended as a tool for trying out new ideas in language implementation, language design, and language environments, while being deeply influenced by the ML experience. As a programming language, Amber was defined to experiment with a new style of polymorphism [Cardelli 84b] which, unlike the ML-style parametric polymorphism [Milner 78], is based on a notion of type inclusion, and can be used to interpret many programming concepts found in object-oriented languages [Goldberg Robson 83]. In this view, the main features of functional and object-oriented languages can be naturally integrated, and the combination of higher-order functions and multiple inheritance can be strongly typed. Some typechecking anomalies are still present in Amber, and current research is aimed at solving them and integrating inclusion polymorphism with parametric polymorphism. Type inclusion also plays an important role in modularization. Amber programs can be partitioned into modules and separately compiled. Modules have import-export lists for types and values. When a type is imported, its actual definition is not accessible: this is a form of data abstraction realized through the module mechanism, and implies that modules can be compiled in any order. It is possible to specify that two imported types, although unknown, are one a subtype of the other, so that inheritance can be made to work across module boundaries. At the programming system level, the implementation is heavily based on the ability to export and import arbitrary values to/from persistent storage. This feature is provided at the lowest level, and guarantees the preservation of any circularity or sharing present in the

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Blocking Short-Wavelength Component of the Visible Light Emitted by Smartphones’ Screens Improves Human Sleep Quality

Background: It has been shown that short-wavelength blue component of the visible light spectrum can alter the circadian rhythm and suppress the level of melatonin hormone. The short-wavelength light emitted by smartphones’ screens can affect the sleep quality of the people who use these devices at night through suppression of melatonin.Objectives: In this study, we examined the effects of co...

متن کامل

Entrapment Bias of Arthropods in Miocene Amber Revealed by Trapping Experiments in a Tropical Forest in Chiapas, Mexico

All entomological traps have a capturing bias, and amber, viewed as a trap, is no exception. Thus the fauna trapped in amber does not represent the total existing fauna of the former amber forest, rather the fauna living in and around the resin producing tree. In this paper we compare arthropods from a forest very similar to the reconstruction of the Miocene Mexican amber forest, and determine ...

متن کامل

Improving AMBER, an MT Evaluation Metric

A recent paper described a new machine translation evaluation metric, AMBER. This paper describes two changes to AMBER. The first one is incorporation of a new ordering penalty; the second one is the use of the downhill simplex algorithm to tune the weights for the components of AMBER. We tested the impact of the two changes, using data from the WMT metrics task. Each of the changes by itself i...

متن کامل

Supporting patients with uncertain recovery: the use of the AMBER care bundle in an acute hospital.

OBJECTIVES Patients who are deteriorating, with uncertain recovery and with a short prognosis often have complex needs. The AMBER care bundle systematically manages these patients by promoting consistent communication and care planning. To describe how the AMBER bundle is applied in a UK hospital. To identify factors affecting the use of the AMBER bundle in patients who subsequently died. To ga...

متن کامل

B - 5 AMBER - Molecular Dynamics Collaborators

AMBER (Assisted Model Building through Energy Refinement) is a molecular dynamics package that is widely used to simulate the motion of large biological molecules such as proteins and DNA. The version of AMBER investigated here is 4.1, the latest in a series jointly developed over many years by the research groups of Peter Kollman at the University of California, San Francisco, and David Case o...

متن کامل

Lygistorrhinidae (Diptera: Bibionomorpha: Sciaroidea) in early Eocene Cambay amber

One new genus and three new species of Lygistorrhinidae in early Eocene Cambay amber from India are described, which significantly increases our knowledge about this group in the Eocene. Lygistorrhina indica n. sp. is the oldest fossil known from this extant genus. Indorrhina sahnii n. gen. et sp. shows morphological similarities to each of the two extant genera Lygistorrhina and Asiorrhina. Pa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1985